Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Software engineering --- Computer software --- Computer software industry

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Cloud computing promises to revolutionize IT and business by making computing available as a utility over the internet. This book is intended primarily for practising software architects who need to assess the impact of such a transformation. It explains the evolution of the internet into a cloud computing platform, describes emerging development paradigms and technologies, and discusses how these will change the way enterprise applications should be architected for cloud deployment. Gautam Shroff provides a technical description of cloud computing technologies, covering cloud infrastructure and platform services, programming paradigms such as MapReduce, as well as 'do-it-yourself' hosted development tools. He also describes emerging technologies critical to cloud computing. The book also covers the fundamentals of enterprise computing, including a technical introduction to enterprise architecture, so it will interest programmers aspiring to become software architects and serve as a reference for a graduate-level course in software architecture or software engineering"--

Cloud computing --- Software architecture --- Computer software --- Development --- Cloud computing. --- Software architecture. --- Development of computer software --- Software development --- Architecture, Software --- Computer software architecture --- Electronic data processing --- Web services --- Development. --- Architecture --- Design --- Distributed processing --- Computer software - Development

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Software architecture --- BPB1002 --- 681.3*D211 --- 681.3*D2 --- Architecture, Software --- Computer software --- Computer software architecture --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software architectures: data abstractio, domain-specific architectures, information hiding, languages (e.g. description, interconnection, definition), patterns (e.g. client/server, pipeline, blackboard) --- Architecture --- Design

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Cocoa frameworks are some of the most powerful frameworks for creating native desktop applications available on any platform today, and Apple gives them away, along with the Xcode development environment, for free! However, for a first-time Mac developer, just firing up Xcode and starting to browse the documentation can be a daunting task. The Objective-C class reference documentation alone would fill thousands of printed pages, not to mention all the other tutorials and guides included with Xcode. Where do you start? Which classes are you going to need to use? How do you use Xcode and the rest of the tools? This book answers these questions and more, helping you find your way through the jungle of classes, tools, and new concepts so that you can get started on the next great Mac OS X application today. Jack Nutting is your guide through this forest; he's lived here for years, and he'll show you which boulder to push, which vine to chop, and which stream to float across in order to make it through. You will learn not only how to use the components of this rich framework, but also which of them fit together, and why. Jack Nutting's approach, combining pragmatic problem-solving with a deep respect for the underlying design philosophies contained within Cocoa, stems from years of experience using these frameworks. He'll show you which parts of your application require you to jump in and code a solution, and which parts are best served by letting Cocoa take you where it wants you to go. The path over what looks like a mountain of components and APIs has never been more thoroughly prepared for your travels. With Jack's guidance, the steep learning curve becomes a pleasurable adventure. There is still much work for the uninitiated, but by the time you're done, you will be well on your way to becoming a Cocoa master.

Computer Science. --- Data Structures, Cryptology and Information Theory. --- Computer science. --- Data structures (Computer science). --- Informatique --- Structures de données (Informatique) --- Cocoa (Application development environment) --- Object-oriented programming (Computer science) --- C (Computer program language) --- Application program interfaces (Computer software) --- Mac OS. --- Application program interfaces (Computer software). --- C (Computer program language). --- Cocoa (Application development environment). --- Object-oriented programming (Computer science). --- Engineering & Applied Sciences --- Computer Science --- Macintosh (Computer) --- Operating systems (Computers) --- Computer operating systems --- Computers --- Disk operating systems --- Apple Macintosh (Computer) --- Operating systems --- Computer Science, general. --- Systems software --- Microcomputers --- Apple computer. --- Software engineering. --- Apple and iOS. --- Software Engineering/Programming and Operating Systems. --- Computer software engineering --- Engineering --- Cocoa (Software framework) --- Macintosh Operating System --- Mac OS Sierra --- Mac OS X (Operating system) --- Mac OS X Leopard --- Mac OS X Lion --- Mac OS X Snow Leopard --- Mac OS X Mountain Lion --- Mac OS X Yosemite --- Yellow Box (Software framework)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioning and safety of these systems is of paramount importance. The development of methods that ensure program correctness is therefore a key challenge for computer scientists. This widely anticipated third edition of Verification of Sequential and Concurrent Programs provides a systematic exploration of one of the most common approaches to program verification, known as the "assertional" approach. Following the successful formula of previous editions, this approach is applied to deterministic and nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs. The expanded content of this thorough new edition also includes coverage of the verification of object-oriented programs. For each class of programs, the authors introduce an operational semantics and proof systems for the verification of partial and total correctness, justified formally in corresponding soundness theorems. Case studies supplied throughout the book demonstrate the use of the proof systems to formally verify solutions to classical problems, such as sorting, manipulation of lists, producer/consumer and mutual exclusion. Topics and Features: Includes a thorough introductory section, familiarizing the reader with the basic concepts and notation used in the book, as well as the book's structure Explains Hoare's approach to program verification for while programs, providing a correctness proof of a program for partitioning an array (NEW) Concludes each chapter with exercises and bibliographic remarks for further reading Discusses recursive programs that extend deterministic programs by parameterless procedures and procedures with the call-by-value parameter mechanism, and provides a correctness proof of the quicksort program (NEW) Explores nondeterministic and distributed programs, presenting a verification method of distributed programs based on a transformation into nondeterministic ones Presents object-oriented programs, with a focus on the main characteristics of objects (NEW) Investigates parallel programs with shared variables and with synchronization Studies the issue of fairness in the framework of nondeterministic programs, using an approach based on the method of explicit schedulers Includes a Foreword by Professor Amir Pnueli This modern update of a classic, reader-friendly textbook is perfect for an introductory course on program verification for advanced undergraduate or graduate students, and may also be used as an introduction to operational semantics. Outlines for possible courses are suggested in the Preface to the book. This book is unique in addressing assertional verification of all essential classes of imperative programs: while programs, recursive programs, object-oriented programs, nondeterministic programs, parallel programs, and distributed programs.

programmeren (informatica) --- Computer science --- Mathematical logic --- logica --- wiskunde --- Computer Science. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Computer science. --- Logic design. --- Informatique --- Structure logique --- Computer software --- Verification. --- Computer Science --- Logic design --- Verification --- Computer software - Verification. --- Computer software - Verification